#ifndef __KERNEL_H_
#define __KERNEL_H_

#include "rtx_inc.h"

SINT32 kernel_send_message (UINT32 process_ID, VOID* MessageEnvelope);
VOID* kernel_receive_message (UINT32 * sender_ID);
VOID* kernel_request_memory_block ();
SINT32 kernel_release_memory_block (VOID* MemoryBlock);
SINT32 kernel_release_processor ();
SINT32 kernel_delayed_send (UINT32 process_ID, VOID* MessageEnvelope, UINT32 delay);
SINT32 kernel_set_process_priority (UINT32 process_ID, UINT16 priority);
UINT16 kernel_get_process_priority (UINT32 process_ID);

#endif
